Simultaneous transcranial magnetic stimulation and single-neuron recording in alert non-human primates.

Transcranial magnetic stimulation (TMS) is a widely used, noninvasive method for stimulating nervous tissue, yet its mechanisms of effect are poorly understood. Here we report new methods for studying the influence of TMS on single neurons in the brain of alert non-human primates. We designed a TMS coil that focuses its effect near the tip of a recording electrode and recording electronics that enable direct acquisition of neuronal signals at the site of peak stimulus strength minimally perturbed by stimulation artifact in awake monkeys (Macaca mulatta). We recorded action potentials within ∼1 ms after 0.4-ms TMS pulses and observed changes in activity that differed significantly for active stimulation as compared with sham stimulation. This methodology is compatible with standard equipment in primate laboratories, allowing easy implementation. Application of these tools will facilitate the refinement of next generation TMS devices, experiments and treatment protocols

Modelling regional land change scenarios to assess land abandonment and reforestation dynamics in the Pyrenees (France)

International audienceOver the last decades and centuries, European mountain landscapes have experienced substantial transformations. Natural and anthropogenic LULC changes (land use and land cover changes), especially agro-pastoral activities, have directed influenced the spatial organization and composition of European mountain landscapes. For the past 60 years, natural reforestation has been occurring due to a decline in both agricultural production activities and rural population. Stakeholders, to better anticipate future changes, need spatially and temporally explicit models to identiy areas at risk of land change and possible abandonment. This paper presents an integrated approach combining forecasting scenarios and a LULC changes simulation model to assess where LULC changes may occur in the Pyrenees Mountains, based on historical LULC trands and a range of future socio-economic drivers. The proposed methodology considers local specificities of Pyrenan valleys, sub-regional climate and topographical properties, and regional economic policies. Results indicate that some regions are projected to face strong abandonment, regardless of scenario conditions. Overall, high rates of change are associated with administrative regions where land productivity is highly dependent on socio-economic drivers and climatic and environmental conditions limit intensive (agricultural and/or pastoral) production and profitability. The combination of the results for the four scenarios allows assessements of where encroachment (e.g. colonization by shrublands) and reforestation are the most probable. This assessment intends to provide insight into the potential future development of the Pyrenees to help identify areas that are the most sensitive to change and to guide decision makers to help their management decisions

Intraperitoneal but Not Intravenous Cryopreserved Mesenchymal Stromal Cells Home to the Inflamed Colon and Ameliorate Experimental Colitis

BACKGROUND AND AIMS: Mesenchymal stromal cells (MSCs) were shown to have immunomodulatory activity and have been applied for treating immune-mediated disorders. We compared the homing and therapeutic action of cryopreserved subcutaneous adipose tissue (AT-MSCs) and bone marrow-derived mesenchymal stromal cells (BM-MSCs) in rats with trinitrobenzene sulfonic acid (TNBS)-induced colitis. METHODS: After colonoscopic detection of inflammation AT-MSCs or BM-MSCs were injected intraperitoneally. Colonoscopic and histologic scores were obtained. Density of collagen fibres and apoptotic rates were evaluated. Cytokine levels were measured in supernatants of colon explants. For cell migration studies MSCs and skin fibroblasts were labelled with Tc-99m or CM-DiI and injected intraperitonealy or intravenously. RESULTS: Intraperitoneal injection of AT-MSCs or BM-MSCs reduced the endoscopic and histopathologic severity of colitis, the collagen deposition, and the epithelial apoptosis. Levels of TNF-α and interleukin-1β decreased, while VEGF and TGF-β did not change following cell-therapy. Scintigraphy showed that MSCs migrated towards the inflamed colon and the uptake increased from 0.5 to 24 h. Tc-99m-MSCs injected intravenously distributed into various organs, but not the colon. Cm-DiI-positive MSCs were detected throughout the colon wall 72 h after inoculation, predominantly in the submucosa and muscular layer of inflamed areas. CONCLUSIONS: Intraperitoneally injected cryopreserved MSCs home to and engraft into the inflamed colon and ameliorate TNBS-colitis

The cognitive neuroscience of prehension: recent developments

Prehension, the capacity to reach and grasp, is the key behavior that allows humans to change their environment. It continues to serve as a remarkable experimental test case for probing the cognitive architecture of goal-oriented action. This review focuses on recent experimental evidence that enhances or modifies how we might conceptualize the neural substrates of prehension. Emphasis is placed on studies that consider how precision grasps are selected and transformed into motor commands. Then, the mechanisms that extract action relevant information from vision and touch are considered. These include consideration of how parallel perceptual networks within parietal cortex, along with the ventral stream, are connected and share information to achieve common motor goals. On-line control of grasping action is discussed within a state estimation framework. The review ends with a consideration about how prehension fits within larger action repertoires that solve more complex goals and the possible cortical architectures needed to organize these actions

The role of the cerebellum in adaptation: ALE meta‐analyses on sensory feedback error

It is widely accepted that unexpected sensory consequences of self‐action engage the cerebellum. However, we currently lack consensus on where in the cerebellum, we find fine‐grained differentiation to unexpected sensory feedback. This may result from methodological diversity in task‐based human neuroimaging studies that experimentally alter the quality of self‐generated sensory feedback. We gathered existing studies that manipulated sensory feedback using a variety of methodological approaches and performed activation likelihood estimation (ALE) meta‐analyses. Only half of these studies reported cerebellar activation with considerable variation in spatial location. Consequently, ALE analyses did not reveal significantly increased likelihood of activation in the cerebellum despite the broad scientific consensus of the cerebellum's involvement. In light of the high degree of methodological variability in published studies, we tested for statistical dependence between methodological factors that varied across the published studies. Experiments that elicited an adaptive response to continuously altered sensory feedback more frequently reported activation in the cerebellum than those experiments that did not induce adaptation. These findings may explain the surprisingly low rate of significant cerebellar activation across brain imaging studies investigating unexpected sensory feedback. Furthermore, limitations of functional magnetic resonance imaging to probe the cerebellum could play a role as climbing fiber activity associated with feedback error processing may not be captured by it. We provide methodological recommendations that may guide future studies

Visuomotor Cerebellum in Human and Nonhuman Primates

In this paper, we will review the anatomical components of the visuomotor cerebellum in human and, where possible, in non-human primates and discuss their function in relation to those of extracerebellar visuomotor regions with which they are connected. The floccular lobe, the dorsal paraflocculus, the oculomotor vermis, the uvula–nodulus, and the ansiform lobule are more or less independent components of the visuomotor cerebellum that are involved in different corticocerebellar and/or brain stem olivocerebellar loops. The floccular lobe and the oculomotor vermis share different mossy fiber inputs from the brain stem; the dorsal paraflocculus and the ansiform lobule receive corticopontine mossy fibers from postrolandic visual areas and the frontal eye fields, respectively. Of the visuomotor functions of the cerebellum, the vestibulo-ocular reflex is controlled by the floccular lobe; saccadic eye movements are controlled by the oculomotor vermis and ansiform lobule, while control of smooth pursuit involves all these cerebellar visuomotor regions. Functional imaging studies in humans further emphasize cerebellar involvement in visual reflexive eye movements and are discussed

Allele-Independent Turnover of Human Leukocyte Antigen (HLA) Class Ia Molecules.

Major histocompatibility complex class I (MHCI) glycoproteins present cytosolic peptides to CD8+ T cells and regulate NK cell activity. Their heavy chains (HC) are expressed from up to three MHC gene loci (human leukocyte antigen [HLA]-A, -B, and -C in humans), whose extensive polymorphism maps predominantly to the antigen-binding groove, diversifying the bound peptide repertoire. Codominant expression of MHCI alleles is thus functionally critical, but how it is regulated is not fully understood. Here, we have examined the effect of polymorphism on the turnover rates of MHCI molecules in cell lines with functional MHCI peptide loading pathways and in monocyte-derived dendritic cells (MoDCs). Proteins were labeled biosynthetically with heavy water (2H2O), folded MHCI molecules immunoprecipitated, and tryptic digests analysed by mass spectrometry. MHCI-derived peptides were assigned to specific alleles and isotypes, and turnover rates quantified by 2H incorporation, after correcting for cell growth. MHCI turnover half-lives ranged from undetectable to a few hours, depending on cell type, activation state, donor, and MHCI isotype. However, in all settings, the turnover half-lives of alleles of the same isotype were similar. Thus, MHCI protein turnover rates appear to be allele-independent in normal human cells. We propose that this is an important feature enabling the normal function and codominant expression of MHCI alleles

Proof Contexts with Late Binding

The focal language (formerly Foc) allows one to incrementally build modules and to prove formally their correctness. focal encourages a development process by refinement, deriving step-by-step implementations from specifications. This refinement process is realized using an inheritance mechanism on structures which can mix primitive operations, axioms, algorithms and proofs. Inheriting from existing structures allows to reuse their components under some conditions, statically checked by the compiler. This paper presents two formal semantics for encoding focal constructions in the Coq proof assistant. The first one is a shallow embedding which gives a practical way to use Coq to check proofs in focal libraries. The second one formalizes the focal structures as Coq types (called mixDrecs) and shows that the informal semantics of focal libraries is coherent with respect to Coq logic. In the last part of the paper, we prove that the first embedding is conform to the mixDrecs model

{SPASS+T}

SPASS+T is an extension of the superposition-based theorem prover SPASS that allows us to enlarge the reasoning capabilities of SPASS using an arbitrary SMT procedure for arithmetic and free function symbols as a black-box. We discuss the architecture of SPASS+T and the capabilities, limitations, and applications of such a combination